Normal form - PDFSEARCH.IO - Document Search Engine

Normal form
Results: 706

#	Item
181	MATHHomework 7 This homework will be collected at the end of class on Nov. 19, For each of the following matrices A, find a Jordan canonical form J and a matrix X such that A = XJX −1 . (a) Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-12 19:57:52 Matrix theory Abstract algebra Singular value decomposition Generalized eigenvector Eigenvalues and eigenvectors Diagonalizable matrix Jordan normal form Vector space Matrix Algebra Linear algebra Mathematics
182	Compositions and Patricia tries: no fluctuations in the variance!∗ † Helmut Prodinger Dedicated to Hosam Mahmoud on the occasion of his Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:18:45 Data analysis Probability theory Variance Modular form Orbifold Normal distribution Mathematical analysis Statistics Mathematics
183	On Problems as Hard as CNF-SAT∗ Marek Cygan† Holger Dell‡ Jesper Nederlofk Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-03-27 21:09:14 NP-complete problems Exponential time hypothesis Conjunctive normal form Boolean satisfiability problem Vertex cover Set cover problem Time complexity Graph coloring Independent set Theoretical computer science Computational complexity theory Applied mathematics
184	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
185	The Poincar´e-Dulac normal form theorem for formal vector fields Jordan Bell Department of Mathematics, University of Toronto April 3, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-03 12:53:03 Abstract algebra Linear algebra Mathematical series Differential calculus Vectors Vector space Formal power series Linearization Eigenvalues and eigenvectors Algebra Mathematics Mathematical analysis
186	Decomposition of Additive Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Abstract algebra Minimal polynomial Irreducible polynomial Factorization of polynomials Finite field Frobenius normal form Factorization of polynomials over a finite field and irreducibility tests Algebra Mathematics Polynomials
187	MATHHomework 8 This is the last homework. It will be collected at the end of class on Nov. 29, For each of the following matrices A, find its Jordan canonical form J. For the first three parts, find a Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-13 20:39:58 Matrix theory Jordan normal form Jordan matrix Matrix Eigenvalues and eigenvectors Canonical form Singular value decomposition Diagonalizable matrix Algebra Linear algebra Mathematics
188	Normalisation - Figure Six Figure Six - Third Normal Form TransactionNo borrowerID Add to Reading List Source URL: www.keithjbrown.co.uk Language: English - Date: 2014-01-09 08:56:33 Britney Spears Christina Aguilera Britney Sony Music Entertainment Mouseketeers Music
189	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
190	Relevance Logic John MacFarlane—Philosophy 142 March 29, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-29 14:48:50 Logical consequence Deduction Boolean algebra Entailment Disjunctive syllogism Validity Modus ponens Disjunctive normal form Relevance logic Logic Rules of inference Propositional calculus